CAVEAT: A Tool for Software Validation
نویسندگان
چکیده
Caveat is a static analysis tool designed to help verify safety critical software. It operates on ANSI C programs. It was developed by CEA, the French nuclear agency and is used as an operational tool by Airbus-France and EdF, the French electricity company. It is mainly based on Hoare Logic and rewriting of first order logic predicates. The main features of Caveat are property synthesis, navigation facilities, and proof of properties
منابع مشابه
Validating Portability of Step-nc Tool Center Programming
A joint effort between Boeing and the National Institute of Standards and Technology (NIST) was undertaken for validating and evaluating STEP AP238 (STEP-NC) Conformance Class 1 (CC1) for 5-axis machining. STEP-NC is a new manufacturing standard to support “design anywhere, build anywhere, and support anywhere.” The joint Boeing/NIST validation intended to prove that five-Axis AP-238 programs w...
متن کاملValidation of students' academic boredom questionnaire
An environment that is inappropriate in terms of the level of stimulation is attributed, and the existence of criteria for identifying and measuring this phenomenon in students is very important. The present study was conducted to validate the instrument of students' academic boredom. The statistical population of the research was middle school students studying in Tehran in the academic year 2...
متن کاملValidation of the Persian version of the short self-regulated learning questionnaire for medical students: A descriptive study
Background & Objective: Self-regulated learning (SRL) is an active and self-centered process in which learners systematically guide and evaluate their cognitive, environmental, motivational, and behavioral factors to achieve learning goals using special strategies. The present study aimed to validate the Persian version of the short SRL questionnaire as an effective tool. Materials & Methods: ...
متن کاملDevelopment and validation of a short form of the self-efficacy measurement tool for Iranian patients with myocardial infarction
To assess efficacy in patients with heart failure need to have a scientific tool based on psychometric features is evident. The researchers developed a scientific tool based on psychometric principles for assessing self-efficacy beliefs in patients with Myocardial Infarction (MI) as the only tool of its kind; however, Due to the large number of questions in the questionnaire, respondents may no...
متن کاملاجرای فرایند روائی محتــوا در طراحی پرسشنـامه‌ها
Background & objectives: Content validity is the first type of validity that has to be ensured during the design of a tool. Its prerequisite for other validities and its close relationship with the tool reliability place it in a vital position in the questionnaire design. However, since it has not been paid enough attention in national publications therefore in this paper we will explain the di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002